<script>
	window.location.href = 'doc/';
</script>
